منابع مشابه
Analysing the PGM Protocol with UPPAAL
Pragmatic General Multicast (PGM) is a reliable multicast protocol, designed to minimize both the probability of negative acknowledgements (NAK) implosion and the loading of the network due to retransmissions of lost packets. This protocol was presented to the Internet Engineering Task Force as an open reference specification. In this paper, we focus on the main reliability property which PGM i...
متن کاملPGM Reliable Transport Protocol Specification
Status of this Memo This memo defines an Experimental Protocol for the Internet community. It does not specify an Inter-net standard of any kind. Discussion and suggestions for improvement are requested. Distribution of this memo is unlimited. Abstract Pragmatic General Multicast (PGM) is a reliable multicast transport protocol for applications that require ordered or unordered, duplicate-free,...
متن کاملAnalysing the BKE-security Protocol with µCRL
The μCRL language and its corresponding tool set form a powerful methodology for the verification of dis-tributed systems. We demonstrate its use by applying it to a well-known security protocol: the Bilateral KeyExchange protocol.
متن کاملVerification of an Audio Protocol with Bus Collision Using UPPAAL
In this paper we apply the tool Uppaal 1 to an automatic analysis of a version of the Philips Audio Control Protocol with two senders and bus collision handling. This case study is signiicantly larger than the real-time/hybrid systems previously analysed by automatic tools. During the case study the tool Uppaal was extended with a new feature, committed locations, allowing eecient modelling of ...
متن کاملSynthesis and Verification of Constraints in the PGM Protocol
Specifications of protocols usually involve several parameters, for example the number of retransmissions or the timeout delays. The properties satisfied by the protocol depend often on the relation between these parameters. Automatic synthesis of such relations becomes a difficult problem when the constraints are too complex, e.g., non-linear expressions between integer and/or real parameters....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Production Research
سال: 2004
ISSN: 0020-7543,1366-588X
DOI: 10.1080/00207540410001705220